type X = {+():T}
